Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
331	Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems Model-based Engineering for Systems of Systems: the COMPASS Manifesto Technical Note Number: Manifesto Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2013-11-12 03:49:22 Knowledge Systems science Cybernetics Complex systems theory System of systems Emergence System Formal verification Formal methods Science Systems engineering Systems theory
332	Verification of Windows NT kernel drivers using Zing model checker Tomáš Matoušek http://tm.matfyz.cz CHARLES UNIVERSITY IN PRAGUE Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:24:46 Procedural programming languages Hardware verification languages Promela Model checking Zing E Tomas Matousek C ALGOL 68 Software engineering Computing Programming language theory
333	Accreditation & Verification Forum – Man-day Tool Machtelt Oudenes A&V Forum, Brussels, 31 October[removed]Climate Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2014-06-20 06:05:42 Holism Systems Transdisciplinarity Science Structure Ethology Abstraction Complex systems theory Complexity
334	Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States ∗ Eric Bodden Add to Reading List Source URL: www.bodden.de Language: English - Date: 2010-02-14 13:25:15 Software Formal methods Logic in computer science Runtime verification Static program analysis Pointer analysis NOP Type system Algorithm Program analysis Computing Programming language theory
335	Trace-based Verification of Imperative Programs with I/O Gregory Malecha, Greg Morrisett, Ryan Wisnesky Harvard University, Cambridge, MA, USA Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Logic in computer science Proof theory Dependently typed programming Mathematical logic Mathematical proof Mathematical induction Separation logic Coq Mathematics Theoretical computer science Logic
336	Rule-Based Runtime Verification Howard Barringer?1 , Allen Goldberg2 , Klaus Havelund2 and Koushik Sen??3 1 2 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:56 Model theory Linear temporal logic Temporal logic Interpretation Modal logic Elementary class Structure Parity of a permutation Trace Logic Mathematics Algebra
337	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-12-13 13:15:40 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science
338	Automata and Complexity in Multiple-Quantifier Sentence Verification Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Shane Steinert-Threlkeld (Shanest@stanford. Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-05-20 06:27:06 Science Automata theory Quantification Models of computation Formal languages Generalized quantifier Pushdown automaton Cognitive science Finite-state machine Logic Mathematical logic Semantics
339	Probabilistic semantic automata in the verification of quantified statements Jakub Dotlaˇcil ([removed]) Center for Language and Cognition, University of Groningen Jakub Szymanik ([removed]) In Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-04-30 09:18:26 Quantification Predicate logic Semantics Model theory Nondeterministic finite automaton S0 Finite-state machine Pushdown automaton Automata theory Models of computation Logic
340	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-11-29 06:14:30 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science

UPDATE